// RUN_PIPELINE_TILL: FRONTEND
// JAVAC_EXPECTED_FILE
// WITH_EXTRA_CHECKERS
interface MyTrait: <!INTERFACE_WITH_SUPERCLASS, PLATFORM_CLASS_MAPPED_TO_KOTLIN!>Object<!> {
    override fun toString(): String
    public override fun finalize()
    public <!OVERRIDING_FINAL_MEMBER!>override<!> fun wait()
}

/* GENERATED_FIR_TAGS: functionDeclaration, interfaceDeclaration, override */
